FTRTFT'98 : formal techniques in real-time and fault-tolerant systems (Lyngby, 114-18 September 1998)Ravn, Anders P; Rischel, Hans.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-65003-2, VIII, 338 p, isbn 3-540-65003-2Conference Proceedings

Discrete-time Promela and SpinBOSNACKI, D; DAMS, A. D.Lecture notes in computer science. 1998, pp 307-310, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Duration Calculus in the specification of safety requirementsVELOUDIS, S; NISSANKE, N.Lecture notes in computer science. 1998, pp 103-112, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Dynamical properties of timed automataPURI, A.Lecture notes in computer science. 1998, pp 210-227, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Duration calculus of weakly monotonic timePANDYA, P. K; DANG VAN HUNG.Lecture notes in computer science. 1998, pp 55-64, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Fair synchronous transition systems and their liveness proofsPNUELI, A; SHANKAR, N; SINGERMAN, E et al.Lecture notes in computer science. 1998, pp 198-209, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A modular visual model for hybrid systemsGROSU, R; STAUNER, T; BROY, M et al.Lecture notes in computer science. 1998, pp 75-91, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Challenges in the utilization of formal methodsKNIGHT, J. C.Lecture notes in computer science. 1998, pp 1-17, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Partition refinement in real-time model checkingSPELBERG, R. L; TOETENEL, H; AMMERLAAN, M et al.Lecture notes in computer science. 1998, pp 143-157, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Synchronizing clocked transition systemsPOEL, M; ZWIERS, J.Lecture notes in computer science. 1998, pp 173-185, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Compiling graphical real-time specifications into siliconFRÄNZLE, M; LÜTH, K.Lecture notes in computer science. 1998, pp 272-281, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Formal verification of stabilizing systemsSIEGEL, M.Lecture notes in computer science. 1998, pp 158-172, issn 0302-9743, isbn 3-540-65003-2Conference Paper

MOBY/PLC : Graphical development of PLC-automataTAPKEN, J; DIERKS, H.Lecture notes in computer science. 1998, pp 311-314, issn 0302-9743, isbn 3-540-65003-2Conference Paper

An algorithm for the approximative analysis of rectangular automataPREUSSIG, J; KOWALEWSKI, S; WONG-TOI, H et al.Lecture notes in computer science. 1998, pp 228-240, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Automated stream-based analysis of fault-toleranceSTOLLER, S. D; SCHNEIDER, F. B.Lecture notes in computer science. 1998, pp 113-122, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Mechanical verification of clock synchronization algorithmsSCHWIER, D; VON HENKE, F.Lecture notes in computer science. 1998, pp 262-271, issn 0302-9743, isbn 3-540-65003-2Conference Paper

On the need for practical formal methodsHEITMEYER, C.Lecture notes in computer science. 1998, pp 18-26, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Predictability in critical systemsLE LANN, G.Lecture notes in computer science. 1998, pp 315-338, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Static analysis to identify invariants in RSML specificationsPARK, D. Y. W; SKAKKEBAEK, J. U; DILL, D. L et al.Lecture notes in computer science. 1998, pp 133-142, issn 0302-9743, isbn 3-540-65003-2Conference Paper

The ICOS synthesis environmentLÜTH, K.Lecture notes in computer science. 1998, pp 294-297, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A practical and complete algorithm for testing real-time systemsCARDELL-OLIVER, R; GLOVER, T.Lecture notes in computer science. 1998, pp 251-261, issn 0302-9743, isbn 3-540-65003-2Conference Paper

Towards a formal semantics of verilog using duration calculusSCHNEIDER, G; QIWEN XU.Lecture notes in computer science. 1998, pp 282-293, issn 0302-9743, isbn 3-540-65003-2Conference Paper

On checking parallel real-time systems for linear duration propertiesZHAO JIANHUA; DANG VAN HUNG.Lecture notes in computer science. 1998, pp 241-250, issn 0302-9743, isbn 3-540-65003-2Conference Paper

SGLOT : A visual tool for structural LOTOS specificationsMARRERO, M; SUAREZ, A; CARRION, E et al.Lecture notes in computer science. 1998, pp 303-306, issn 0302-9743, isbn 3-540-65003-2Conference Paper

A general framework for the composition of timed systems : Extended abstractSIFAKIS, J.Lecture notes in computer science. 1998, pp 27-28, issn 0302-9743, isbn 3-540-65003-2Conference Paper